Türkçe - İngilizce
TEMEL MANTIKLI BİÇİMSEL DİL = (temel mantıklı biçimsel dil nedir; temel mantıklı biçimsel dil ne demek; temel mantıklı biçimsel dil İngilizcesi) Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; mantıksal olmayan değişmez türleri ad, yüklem, işlev, değişkenleri de bireysel değişken olan biçimsel dil.